Nuprl Definition : w-val
0,22
postcript
pdf
val(
a
) == 2of(outr(
a
))
latex
clarification:
w-val(
w
;
a
) == 2of(outr(
a
))
latex
Definitions
outr(
x
)
,
2of(
t
)
,
val(
a
)
FDL editor aliases
w-val
origin
